منابع مشابه
Tense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملState Pseudo Equality Algebras
Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras. We define and study new classes of pseudo equality algebras, such as com...
متن کاملCommutative pseudo-equality algebras
Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...
متن کاملAlgebraic Logic Iv. Equality in Polyadic Algebras
Introduction. A standard way to begin the study of symbolic logic is to describe one after another the propositional calculus, the monadic functional calculus, the pure first-order functional calculus, and the functional calculus with equality. The algebraic aspects of these logical calculi belong to the theories of Boolean algebras, monadic algebras, polyadic algebras, and cylindric algebras r...
متن کاملOn the variety of equality algebras
Equality algebras has recently been introduced. A subclass of equality algebras, called equivalential equality algebras is closely related to BCK-algebras with meet. We show that the variety of equality algebras has nice properties: We shall investigate their congruences and filters and prove that the variety of equality algebras is a 1-regular, arithmetic variety.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1997
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700030902